CPN在海上防空建模中的应用

着色 Petri网 (CP-网或 CPN )是一种面向图形的语言 ,用来设计、说明、模拟和验证系统。尤其适用于通信系统等同步和资源共享占有重要地位的系统。在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VL SI芯片等方面都有典型的应用。本文简单介绍了 CPN的发展过程和基本原理 ,重点就 CPN在海上防空系统建模仿真中的应用进行了探讨     

基于椭圆曲线群上的零知识证明

通过研究椭圆曲线群,给出基于其上的2个零知识证明方案,这2个方案均使得甲方向乙方宣称自己拥有某种信息,并通过互动证明使其确信具有该信息,但同时还未泄漏该信息。     

Implementing defence policy: a benchmark-“lite”

Most countries put significant amounts of time and effort in writing and issuing high-level policy documents. These are supposed to guide subsequent national defence efforts. But do they? And how do countries even try to ensure that they do? This paper reports on a benchmarking effort of how a few “best of breed” small- to medium-sized defence organisations (Australia, Canada, and New Zealand) deal with these issues. We find that most countries fail to link goals to resources and pay limited attention to specific and rigorous ex-ante or post-hoc evaluation, even when compared to their own national government-wide provisions. We do, however, observe a (modest) trend towards putting more specific goals and metrics in these documents that can be – and in a few rare cases were – tracked. The paper identifies 42 concrete policy “nuggets” – both “do’s and don’ts” – that should be of interest to most defence policy planning/analysis communities. It ends with two recommendations that are in line with recent broader (non-defence) scholarship on the policy formulation-policy implementation gap: to put more rigorous emphasis on implementation (especially on achieving desired policy effects), but to do so increasingly in more experiential (“design”) ways, rather than in industrial-age bureaucratic ones (“PPBS”-systems).     

Walking the Line: Brokering Humanitarian Identities in Conflict Research

ABSTRACT

Increasingly, academic research in conflict-affected contexts relies on support from humanitarian organizations. Humanitarian organizations constitute sites of study in and of themselves; they partner with academics to roll out surveys or randomized program interventions; and they frequently facilitate security, logistics and transportation for independent researchers. We use a research partnership between IRC, the World Bank, and academic researchers in the UK, the US and eastern DR Congo, to explore the effects of humanitarian affiliation on conflict field research. In investigating when, how and under what conditions humanitarian identities are adopted by researchers (and how these affiliations shape research dynamics) we identify three paradoxes. First, “wearing humanitarian clothes” to facilitate research logistics can both facilitate and constrain access. Second, humanitarian affiliations invoked by researchers to ensure security and protection in volatile research sites can undermine the “insider” status of local staff. Finally, working through humanitarian organizations allows local and international researchers to benefit from the protections and privileges afforded to humanitarian employees without providing any of the services on which privileged access rests. In this article, we map out decisions faced by local and international researchers concerning when to adopt and discard humanitarian identities, and the fraught logistical, ethical and methodological consequences of these decisions.